منابع مشابه
Triem Tong N ̊ ? ? ? ? Septembre 2001
We present Timbuk a tree automata library which implements usual operations on tree automata as well as a completion algorithm used to compute an over-approximation of the set of descendants R (E) for a regular set E and a term rewriting system R, possibly non linear and non terminating. On several examples of term rewriting systems representing programs and systems to verify, we show how to us...
متن کاملn ° 2001 - 14 Inge
The paper assesses the marginal welfare and equity impacts of three transport instruments in the presence of three transport externalities: congestion, air pollution and accidents. It considers a second-best economy in which the government has to use distortionary taxes for revenue-raising and distributional purposes. The assessment uses an applied general equilibrium model for Belgium. The tra...
متن کامل267 MENDEZ.pmd
Isidro Méndez-Larios. M.S. in Plant Biology, Universidad Nacional Autónoma de México (UNAM)). Graduate Student, Unidad de Biotecnología y Prototipos (UBIPRO), Facultad de Estudios Superiores Iztacala, UNAM, Mexico. Address: Av. De los Barrios No 1, Los Reyes Iztacala, Tlalnepantla, Estado de México. 54090 México. email: [email protected] José Luis Villaseñor. Ph.D. in Plant Systematics, T...
متن کاملSeptembre 2011 Université Paris - sud 11
15 Synthèse 17 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 Etude de sensibilité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 Etalonnage des calorimètres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 Première mesure de physique avec les données 2010 . . . . . . . . . . . . . . . . . ....
متن کاملSéminaires doctorants 5 13 septembre 2006
We consider a minimum-entropy criterion to tackle some statistical signal and image processing problems. We focus on semiparametric models, with the aim to estimate a vector of unknown parameters, say θ⋆, of a given model in the presence of errors of unknown density. The lack of information on these errors is such that it is difficult to obtain both asymptotically efficient and robust procedure...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revue internationale d'éducation de Sèvres
سال: 2002
ISSN: 1254-4590,2261-4265
DOI: 10.4000/ries.1822